Specifying Dynamic Software Architectures for Distributed Systems
نویسندگان
چکیده
Open and dynamic characteristics of distributed software systems make user requirements and hardware resources change more rapidly, which make their evolution or reconfiguration inevitable, especially during their execution. A critical issue for those distributed systems is the specifying and analysis dynamic reconfiguration process of their architectures. In this paper, we proposed a method of specifying dynamic software architectures for distributed systems. Based on hypergraph, reconfiguration production rules and operations, we can specify dynamic reconfiguration of software architectures for distributed systems. The paper also includes an example which shows how our approach can be applied to specify modeling of dynamic evolving distributed software architectures.
منابع مشابه
Specifying Dynamic Software Architectures by Using Membrane Systems
We present a formalism for the definition of dynamic software architectures in terms of membrane systems, distributed computational models inspired from the structure and the functioning of living cells. The dynamics (the evolution) of the overall architecture is defined by rules that modify the contents (data) and structure of the membrane system. The evolution of the membrane system can be st...
متن کاملDescription and Verification of Dynamic Software Architectures for Distributed Systems
Continuing growth and increasing complexity of distributed software systems make them be more flexible, adaptive and easily extensible. Dynamic evolution or reconfiguration of distributed software systems is one possible solution to meet these demands. However, there are some challenges for building dynamically evolving distributed software systems at runtime, where dynamic software architectur...
متن کاملSpecifying Distributed Software Architectures
There is a real need for clear and sound design speci cations of distributed systems at the architectural level. This is the level of the design which deals with the high-level organisation of computational elements and the interactions between those elements. The paper presents the Darwin notation for specifying this high-level organisation. Darwin is in essence a declarative binding language ...
متن کاملSpecifying Dynamic Software Architectures with Dynamic Description Logic
Dynamic software architectures provide support for building long running and reconfigurable applications. Formal specification is useful to the design of correct and robust dynamic software architectures. In this paper, dynamic software architectures are specified with dynamic description logic. Dynamic description logic inherits the expressiveness and decidability of description logic and it h...
متن کاملStatic and Dynamic Visualisation of Software Architectures for Component-based Systems
Component-based software architectures are increasingly being adopted as solutions for various software engineering problems. We describe a component-based software architecture and its supporting CASE tool we have been developing. Our tool supports both static and dynamic visualisation of component-based systems, together with end-user configuration of such systems by user extension of these v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009